nLab Julio Rubio

• GoogleScholar page

Selected writings

On constructive methods in algebraic topology (constructive algebraic topology):

• Julio Rubio, Francis Sergeraert, Constructive Algebraic Topology, Bulletin des Sciences Mathématiques

  126 5 (2002) 389-412 [arXiv:math/0111243, doi:10.1016/S0007-4497(02)01119-3]

On the Kenzo software for computations in constructive algebraic topology:

• Julio Rubio, Francis Sergeraert, Yvon Siret: KENZO – a Symbolic Software for Effective Homology Computation (1999) [pdf]

• Jonathan Heras, Vico Pascual, Ana Romero, Julio Rubio, Integrating multiple sources to answer questions in Algebraic Topology, Lectures Notes in Artificial Intelligence 6167 (2010) [arXiv:1005.0749]

• Julio Rubio, Formalization of Mathematics: why Algebraic Topology?, MAP Spring School 2012 [pdf]

On homological algebra in constructive mathematics:

• Julio Rubio, Francis Sergeraert, Constructive homological algebra and applications [arXiv:1208.3816]

category: people